type Two = Either () ()